<?php
echo "dedecms5.7";
?>